Places: Adding Message-Passing Parallelism to Racket Kevin Tew University of Utah James Swaine

Source URL: www.cs.utah.edu

• Computing
• Computer programming
• Software engineering
• Concurrent programming languages
• Programming languages
• Functional languages
• Parallel computing
• Object-oriented programming languages
• Go
• Futures and promises
• OpenMP
• Concurrent computing

Google’s Ideological Echo Chamber How bias clouds our thinking about diversity and inclusion go/pc-considered-harmful James Damore - damore@ July 2017 Feel free to comment (they aren’t disabled, the doc may just be o

Source URL: assets.documentcloud.org

• Gender
• Human behavior
• Discrimination
• Culture
• Gender studies
• Gender equality
• Chauvinism
• Sexism in the United States
• Cognitive bias
• Unconscious bias training
• Google's Ideological Echo Chamber
• Gender role

Bisimilarity of Probabilistic Pushdown Automata Vojtěch Forejt1 , Petr Jančar2 , Stefan Kiefer1 , and James Worrell1 1 2 Department of Computer Science, University of Oxford, UK

Source URL: qav.comlab.ox.ac.uk

• Formal languages
• Mathematics
• Theoretical computer science
• Models of computation
• Discrete mathematics
• Nested word
• Words
• Bisimulation
• Distribution
• Deterministic pushdown automaton

Nickel A Framework for Design and Verification of Information Flow Control Systems Helgi Sigurbjarnarson, Luke Nelson, Bruno Castro-Karney, James Bornholt, Emina Torlak, and Xi Wang

Source URL: unsat.cs.washington.edu

• Aircraft instruments
• Standards
• Covert channel
• Steganography
• ARINC 653
• ARINC
• Verification
• Human behavior
• Technology
• User interface design
• Design

PROGRAMM SONGBIRD FESTIVAL DAVOS 2018 TÜRÖFFNUNG: 19:30 UHR • KONZERTBEGINN: 20:30 UHR FREITAG, 07. DEZEMBER 2018 • JAMES GRUNTZ • MARTINA LINN Hotel Intercontinental • Baslerstrasse 9 • Davos Dorf SAMSTAG,

Source URL: www.songbirdfestival.ch

Hyperkernel: Push-Button Verification of an OS Kernel Luke Nelson, Helgi Sigurbjarnarson, Kaiyuan Zhang, Dylan Johnson, James Bornholt, Emina Torlak, and Xi Wang University of Washington {lukenels,helgi,kaiyuanz,dgj16,bo

Source URL: unsat.cs.washington.edu

• Computer architecture
• Computing
• Formal methods
• Logic in computer science
• Kernel
• Linux kernel
• L4 microkernel family
• Mach
• Verification
• X86-64
• Formal verification
• Satisfiability modulo theories

SC2 challenges: when Satisfiability Checking and Symbolic Computation join forces James H. Davenport, Pascal Fontaine, Alberto Griggio (and the others partners whose details wouldn’t fit)1 University of Bath, LORIA, Fo

Source URL: staff.bath.ac.uk

• Theoretical computer science
• Logic
• Logic in computer science
• Mathematics
• Electronic design automation
• Formal methods
• NP-complete problems
• Boolean algebra
• Boolean satisfiability problem
• Uninterpreted function
• Satisfiability
• Solver

Push-Button Verification of File Systems via Crash Refinement Helgi Sigurbjarnarson, James Bornholt, Emina Torlak, Xi Wang University of Washington Abstract mentation, and consistency invariants indicating whether

Source URL: unsat.cs.washington.edu

• Computer architecture
• System software
• Disk file systems
• Data management
• Inode
• File system
• Journaling file system
• Log-structured File System
• Ext3
• Mkfs
• Refinement
• Ext4

Specifying and Checking File System Crash-Consistency Models James Bornholt Antoine Kaufmann Jialin Li

Source URL: unsat.cs.washington.edu

• Computer architecture
• Computing
• System software
• Disk file systems
• C POSIX library
• System calls
• Application programming interfaces
• Ext4
• Sync
• POSIX
• Ext3
• File system

Specifying and Checking File System Crash-Consistency Models James Bornholt Antoine Kaufmann Jialin Li

Source URL: unsat.cs.washington.edu

• Computer architecture
• System software
• Computing
• Disk file systems
• Ext4
• Ext3
• Sync
• File system
• Btrfs
• XFS
• Inode
• File locking